- semantic correctness
- 语义正确性
English-Chinese computer dictionary (英汉计算机词汇大词典). 2013.
semantic correctness
Look at other dictionaries:
Semantic spectrum — The semantic spectrum (sometimes referred to as the ontology spectrum or the smart data continuum or semantic precision) is a series of increasingly precise or rather semantically expressive definitions for data elements in knowledge… … Wikipedia
political correctness — Although having a distinguished ancestry in the race relations and equal opportunities acts of the 1970s, the concern with political correctness can be traced to the American academic community of the mid 1980s. Its advocates argue that… … Encyclopedia of contemporary British culture
Constant (programming) — const redirects here. For the keyword, see const correctness. In computer programming, a constant is an identifier whose associated value cannot typically be altered by the program during its execution (though in some cases this can be… … Wikipedia
Quotation mark glyphs — For the meaning and usage of quotation marks in the English language see Quotation mark and in other languages see Quotation mark, non English usage. ‘ ’ “ ” ‘ ’ “ ” ‹ › … Wikipedia
Compiler — This article is about the computing term. For the anime, see Compiler (anime). A diagram of the operation of a typical multi language, multi target compiler A compiler is a computer program (or set of programs) that transforms source code written … Wikipedia
Philosophy of language — is the reasoned inquiry into the nature, origins, and usage of language. As a topic, the philosophy of language for Analytic Philosophers is concerned with four central problems: the nature of meaning, language use, language cognition, and the… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Normalisation by evaluation — In programming language semantics, normalisation by evaluation (NBE) is a style of obtaining the normal form of terms in the λ calculus by appealing to their denotational semantics. A term is first interpreted into a denotational model of the λ… … Wikipedia
language — /lang gwij/, n. 1. a body of words and the systems for their use common to a people who are of the same community or nation, the same geographical area, or the same cultural tradition: the two languages of Belgium; a Bantu language; the French… … Universalium
language, philosophy of — Philosophical study of the nature and use of natural languages and the relations between language, language users, and the world. It encompasses the philosophical study of linguistic meaning (see semantics), the philosophical study of language… … Universalium
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
